/*
 ============================================================================
 Name        : prosimc.c
 Author      : Rodrigo R. Silva
 Version     :
 Copyright   : (C) 2008 Rodrigo Rodrigues da Silva. Licensed under the
				GNU GPL version 3 or, at your option, any later version.
 Description : Hello World in C, Ansi-style
 ============================================================================
 */

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

/*
 * Funções da API da base de dados
 */

/*
 * Funções da API Prolog
 */

void insere_fato(char* nome, char* dado) {
	return;
}

int eh_fato(char* nome, char* dado) {
	return 42;
}

int avalia_meta (int (*predicado)(char*), char* arg){
	return predicado(arg);
}

/*
 * Funções geradas para as cláusulas
 */

int pantera (char* arg) {
	return (eh_fato(arg, "preto") && eh_fato(arg, "gato"));
}

int main(void) {
	insere_fato("tom", "preto");
	insere_fato("tom", "gato");
	return avalia_meta(pantera, "tom");
}
